Specifying Rational Agents with Statecharts and Utility Functions
نویسنده
چکیده
To aid the development of the robotic soccer simulation league team RoboLog-2000, a method for the specification of multi-agent teams by statecharts has been introduced. The results in the last years competitions showed that though the team was competitive, it did not behave adaptive in unknown situations. The design of adaptive agents with this method is possible, but not in a straightforward manner. The purpose of this paper is to extend the approach by a more adaptive action selection mechanism and to facilitate a more explicit representation of goals of an agent.
منابع مشابه
From SWC to SCXML: using a statecharts-based markup languages to model navigation of Web applications
Statecharts has been demonstrated as a suitable solution for specifying the navigational behavior of hypermedia systems. However, in order to cope with the idiosyncrasies of the Web development (such as representation of client and server stages) we have been proposed an extension to the original Harel’s statecharts called StateWebCharts (SWC). In this paper we discuss the rationale for extendi...
متن کاملConformance Testing for Statecharts
We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specificati...
متن کاملStream Semantics for Mini-Statecharts
Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, until now, a reference semantics has not been developed and therefore the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics, based on stream processing functions, for a special subclass of Statecharts...
متن کاملRational agents and the processes and states of negotiation
This thesis shows how a verified and unambiguous theory of a protocol with known properties enables rational agents to interact in a negotiation process and to finally satisfy their goals using strategies and plans. This is achieved through an application of an extended form of propositional dynamic logic in the verification, validation and reasoning about interaction protocols in a multi-agent...
متن کاملRoboLog Koblenz 2002 – Team Description
Outline. For RoboCup agents, a modular architecture for multiagent systems is desirable, that enables us to build a useful world model for each agent, that includes information about the position of the agent and other objects, and a history of past situations. It should also be possible to specify high-level behavior, such as a kick to a certain destination and cooperative behavior. Therefore,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001